Править] Основные тождества
В данном разделе повторяются свойства и аксиомы, описанные выше с добавлением ещё нескольких.
Сводная таблица свойств и аксиом, описанных выше:
; | . | 1 коммутативность переместительность |
; | . | 2 ассоциативность сочетательность |
3.1 конъюнкция относительно дизъюнкции | 3.2 дизъюнкция относительно конъюнкции | 3 дистрибутивность распределительность |
; | . | 4 комплементность дополнительность (свойства отрицаний) |
; | . | 5 законы де Моргана |
; | . | 6 законы поглощения |
; | . | 7 Блейка-Порецкого |
; | . | 8 Идемпотентность |
. | 9 инволютивность отрицания | |
; | . | 10 свойства констант |
; | . | |
дополнение 0 есть 1 ; | дополнение 1 есть 0 . | |
; | . | 11 Склеивание |
См. также Алгебра логики
Править] Примеры
- Самая простая нетривиальная булева алгебра содержит всего два элемента, 0 и 1, а действия в ней определяются следующей таблицей:
Дата добавления: 2016-01-05; просмотров: 18; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!